Van den Berg - PDFSEARCH.IO - Document Search Engine

Van den Berg
Results: 328

#	Item
51	Iterated LQR Smoothing for Locally-Optimal Feedback Control of Systems with Non-Linear Dynamics and Non-Quadratic Cost Jur van den Berg Abstract— This paper introduces the novel concept of LQR smoothing, which is the L Add to Reading List Source URL: arl.cs.utah.edu Language: English - Date: 2014-03-21 00:14:55
52	Aspects of Predicative Algebraic Set Theory I: Exact Completion (DRAFT) Benno van den Berg & Ieke Moerdijk September 24, Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-03-21 06:42:22
53	2011 IEEE International Conference on Robotics and Automation Shanghai International Conference Center May 9-13, 2011, Shanghai, China Reciprocal Collision Avoidance with Acceleration-Velocity Obstacles Jur van den Berg Add to Reading List Source URL: arl.cs.utah.edu Language: English - Date: 2013-07-12 18:56:55
54	Derived rules for predicative set theory: an application of sheaves Benno van den Berg & Ieke Moerdijk November 16, 2011 Abstract We show how one may establish proof-theoretic results for constructive Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-11-16 08:30:32
55	Aspects of Predicative Algebraic Set Theory II: Realizability Benno van den Berg & Ieke Moerdijk June 20, 2008 Dedicated to Jean-Yves Girard on the occasion of his 60th birthday Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-03-21 06:42:22
56	The International Journal of Robotics Research http://ijr.sagepub.com/ Motion planning under uncertainty using iterative local optimization in belief space Jur van den Berg, Sachin Patil and Ron Alterovitz Add to Reading List Source URL: arl.cs.utah.edu Language: English - Date: 2013-07-12 18:56:55
57	EXTENDING OBSTRUCTIONS TO NONCOMMUTATIVE FUNCTORIAL SPECTRA BENNO VAN DEN BERG AND CHRIS HEUNEN Abstract. Any functor from the category of C-algebras to the category of locales that assigns to each commutative C-algebr Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2014-07-09 08:21:04
58	Nonstandard functional interpretations and categorical models Amar Hadzihasanovic∗ and Benno van den Berg† 29 January 2014 Abstract Recently, the second author, Briseid and Safarik introduced nonstandard Dialectica, Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2014-01-29 05:43:59
59	A Statistical Similarity Measure for Aggregate Crowd Dynamics Stephen J. Guy⇤ UNC-Chapel Hill Jur van den Berg University of Utah Add to Reading List Source URL: arl.cs.utah.edu Language: English - Date: 2013-07-12 18:56:55
60	Slides for a course on model theory Benno van den Berg Utrecht University, Fall Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2012-12-21 08:13:20